prove that the greatest integer function is discontinuous at integers